White House doctor: Trump’s ‘overall health is excellent’