Question:  Marine Day was established by what law?
Sentence (from "Public holidays in Japan"): May 4, sandwiched between Constitution Memorial Day on May 3 and Children's Day on May 5, was an annual example of such a holiday until it was replaced by Greenery Day in 2007.
Relevant evidence: No