20171020 world.us: George W Bush takes veiled swipe at Trump