Mitchell, John, active 1800-1830, Royal Navy purser, writer and translator