I had a look on familysearch.org for information regarding Tripoli , Cindis List and a few other sites for links or databases for Tripoli....zip . However,
May I suggest contact or use of ideas from these two links>http://www.un.org/depts/dhl/deplib/countries/liby.htmhttp://www.nationsencyclopedia.com/Africa/Libya-LIBRARIES-AND-MUSEUMS.html
There is a posting box on the second link ,, maybe put a message in that...
I would attempt to contact the National Library in Banghazi for furthering information on genealogy records or materials
I saw your lonely record there on anc.com , and did look on the British Nat Arc site, and again zip
I have no idea for how u would find his personell file of the RN to see if it revealed anything more...
But the only place I can see is for you to contact the National Archives of that country and seek an opinion as to how they maintain genealogical records.
May I suggest that if you do find out , please put a reply post up on rootschat so others who may have the similiar or possible use of information may be able to use.
I am sorry I couldnt find any databases for u to look on or clarify....other folk may have some knowledge I dont.....and I hope they do....good luck with that.