Japan Public Holiday on 17 July 2023 General Announcement Filing viewer · member access Original SGX announcement