“Two Mexican nationals, believed to be officials from a liaison service, were also killed in the same incident as the two CIA officers in Mexico.”