20180718 world.us: Hawaii lava boat tours continue after explosion; injuries