Impact of the 2019–20 coronavirus pandemic on Digimon