2020年，五一劳动节，上海