Nationally ranked Sea Devils end soccer season with double overtime loss John Rendleman, October 31, 2011