Former Twitter Worker Who Shut Down Trump’s Account: ‘It Was Just Random’