Cacher is the code snippet organizer for pro developers

<?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);