Fact check: 9,000 Shell layoffs were announced prior to U.S. general election and Biden taking office - Reuters