En las inmediaciones del saladero fue creciendo el pequeño poblado y comenzó a llamarse «Puerto de los Padres».