arroyo conocido como río San Antón