 Marine Day was established by what law?
Marine Day: Marine Day (海の日 , Umi no Hi ) , also known as "Ocean Day" or "Sea Day", is a Japanese national holiday celebrated on the third Monday in July. Public holidays in Japan: Public holidays in Japan (国民の祝日 , kokumin no shukujitsu ) were established by the Public Holiday Law (国民の祝日に関する法律 , Kokumin no Shukujitsu ni Kansuru Hōritsu ) of 1948 (as amended).
Public Holiday Law