John Swinney: Donald Trump was ‘pleasant company’