PETERSENS MARINE SERVICES CORP