Before revision: , also known as "Ocean Day" or "Sea Day", is a Japanese national holiday usually celebrated on the third Monday in July.
After revision: , also known as "Ocean Day" or "Sea Day", is a public holiday in Japan usually celebrated on the third Monday in July.