Il pattugliamento del mare sul canale di Sicilia