東京五輪延期が正式承認。