The implications of tides on the Mimas ocean hypothesis