Was it legal for border agents to fire tear gas into Mexico?