is this 07/17 "Day of the Sea" another pun date, like 2/22 being the Cat Day, or there's no such thing?
Marine Day is a national holiday. It's the day the Japanese give thanks to the Sea due its importance to their nation. It also occurs near the end of the rainy season, so most use it as an opportunity for beach festivities.