Comparison of a Smartfin with an Infrared Sea Surface Temperature Radiometer in the AtlanticOcean