MARTELLO ( 500U tons ) , GALLILEO ( 4000 tons LEPANTO ( 3000 tons ) , OTKANTO ( 3000 tons MARENG O ( 3000 tons ).