Russia doubles number of warships deployed off Crimea coast}