20190717 world.china: China gifts warship to Sri Lanka