original name of the city of London, according to a legend reported by Geoffroy de Monmouth