20180514 world.rest-of-world: Malaysia's Mahathir gets down to work after historic poll win