que luego sería Distrito de La Infanta.