Tidal dynamical considerations constrain the state of an ocean on Enceladus