Inmarsat-4 F1 launched