John Frederick Mann — British cartographer (1819-1907)