After getting way too excited about false discovery of riches explorers gave what name to this extinct Hawaiian volcano?

Diamond Head. It is known by the locals as Le'hai.