WHS presents "Shrek the Musical"