Pressure sensor for sea water (SEN0257 or KIT0139) ?

Hello.

I need to measure pressure in sea water.

I have a water-tight tank with all electronics inside and i can drill a hole to place a pressure transducer partially outside.

will the SEN0257 or KIT0139 fit my needs ?