いつの間にかできていた「海の日」。その由来がなにか調べてみた