来月やってくる４連休。 ７月２３日は海の日。 ２４日はスポーツの日。 あまり馴染みはないが、お休みは嬉しい。 ところで、 オリンピックが延期になったのに、７月２４日はそのまま祝日でいいの？ スポーツの日はこのままでいいの？ このスポーツの日って、…