Assuming the Biden win becomes official, how will Trump leave the White House? Appreciate there are various definitions of 'official', and that we still have some time before moving day...