"Arroyomuerto" es el nombre popular que se sigue manteniendo.