20180512 world.us: As lava oozes; Hawaii officials say rest of island is open