Update on the health of President Donald J. Trump