MLB Draft: Who’s the better prospect, Kumar Rocker or Jack Leiter?