How Bad Was 2020 for Tourism? Look at the Numbers.