how many horses of the person who trained run the gantlet were added to the hall of fame of the national museum of racing ?
four