Three rocks on Mars have been named Sandia, Manzano and Acoma, and another Martian feature has been dubbed Laguna Hollow.