Navy destroyer the USS Michael Murphy