Trump has coronavirus. What happens now?