20160717 world.south-asia: Earthquake jolts Tokyo; no tsunami warning issued