Trump praised Hitler while he was in the White House: ex-official