WordPress doesn't delete legacy menu locations
<?php
$option = get_option("theme_mods_machado");
$remove = array("about", "academics", "admissions", "life_at_hopkins", "research_faculty", "schools_divisions");
foreach ($remove as $k) {
unset($option["nav_menu_locations"][$k]);
}
echo serialize($option);