Should doctors speak of their concerns about the mental health of a president?