es mantenido por el Departamento de Parques de Texas