Letters to the Editor: 07-16-18

Where else but Hawaii?