Harsco Corporation (HSC) – Name/Symbol Change – Effective 06/20/2023