The History of Michael Myers's Mask (1978-2021)