NYSE honors USS Michael Murphy