“The Mexican government deployed tens of thousands of police, Navy, Army, and National Guard personnel to provide security in the World Cup host cities.”