What "hard quarantine" looks like at Tokyo 2020