Tokyo Olympics drew to a close