§5-7  State popular name.  The name"The Aloha State" is adopted, established, and designated as theofficial "popular" name for the State, to be effective so long as thelegislature of the State does not otherwise provide. [L 1959, JR 1, §1; Supp,§14-5.1; HRS §5-7]