är 12,000 tons ( det bekanta stora pansarfartyget Inflexibles drägtighet är 11,400 tons ).