Change in departure time for a train trip to avoid crowding during the COVID-19 pandemic