Title: The volcano registry : names, locations, descriptions, and history for over 1500 sites