A lion on the loose in Nairobi traffic has mauled a man