A brief history of presidential downtime—from Roosevelt to Trump