Los Estados Unidos ya habían reclamado el área como parte de la anexión de Texas en 1845.