Will Donald Trump’s medical records become public in his lifetime?