Will the Olympics proceed as scheduled in July?