"Defunct Kentucky railroad" . . . .