Theophilus Jones — Irish officer in the British Royal Navy