Florida east coast railway company. [from old catalog]