20171218 world.middle-east: Costliest home? Another bauble for Saudi prince