Thirteen workers jumped into the Gulf and treaded water for two hours before they were rescued.

See Full Page