Destroyer (ship’s designation)