How did punishments for sodomy (and adjacent behaviors) differ in the 18th/19th c. British Royal Navy for officers vs. enlisted men? Were there informal punishments short of court martial?