Zonal jets in and near the Coral Sea, seen by satellite altimetry