20180702 world.rest-of-world: First woman elected Mexico City mayor: Exit polls