Mental health during the 2019–20 coronavirus pandemic