Karoly Halmy (c1840-1888)