The basin at the head of Hondo Creek.