Maui's chief operations manager, who said he did not regret not sounding the alarms, has resigned