関連ワード:  is 23 july a public holiday    is july 23 a national holiday    is 23rd a public holiday  
結果 : is 23 july a public holiday