20180717 world.us: Lava crashes through roof of Hawaii tour boat; injuring 23