Whistler mode waves and Hall fields detected by MMS during a dayside magnetopause crossing