あ、今日は海軍記念日か。