今日は海の日。本来海の日とは，明治9年に明治天皇が東北巡行のあと，7月20日横浜港に還幸した史実による海の記念日にちなんでいるので，本来なら7月20日にしなければいけないのに，ハッピーマンデーとやらで7月の第3週の月曜日にされています。だったらこの祝日意味ないと思うのですが...