WHHS Theatre Workshop Performs “Grease”