in the past arroyo leyes was known as rincón arriba or rincón norte