LEPANTO ( 3000 tons ),