そういえば熊本城ってどうなった?