Hawai‘i has to diversify—but diversify to what?