OK. And other than Mombasa, Kenya, just which Mombasa would that likely be, do you think?
Keeping in mind, of course, that this is a Kenyan record you are looking at.
Somewhere upthread there has been dispute about it belonging to Zanzibar rather than Kenya.