Place names of Hawaii and Supplement to the third edition of the Hawaiian-English dictionary