Cuatro barcos de la Royal Navy han llevado el nombre HMS Crocodile , en honor al gran reptil acuático, el cocodrilo :