This Day in History: May 17, 2020