US border detentions plunge in July after Mexico deal