There are four Russian warships in the English Channel, but it's all grand