これを海軍休日(naval holiday)と呼ぶ。