Question:  Marine Day was established by what law?
Sentence (from "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.
Relevant evidence: Yes