20180611 world.rest-of-world: US F-15 fighter jet crashes into sea off Japan's Okinawa