death punishment to navy officers