'Note the key difference: the proceeds would go to the Treasury, not to the crews of the warships involved'