Will Trump peacefully vacate the Oval Office if he loses in 2020? A lesson from 1800