20171111 world.rest-of-world: Three US carriers lead naval drill aimed at North Korea