We'd also need to know the sizes of submarines used by the Navy, if they are all larger than 747s, or the most common ones are then he's made an assumption error, that 747s are larger than Navy subs, if most subs are smaller then maybe he was right that it was bigger than most subs, but...