Thanks, that's interesting. That's a lot of ships for one company. Wonder what the total for all non military ships would be.