Okręt „Jerzy Różycki” nazwany na cześć wybitnego kryptologa, zwodowany