US Marines deployed to the southern border.