1237 delegates or not. Eric Garris points out that pledged delegates may not vote for another candidate on the 1st ballot, but they can abstain, denying Trump the necessary number. They can then vote the establishment way on ballot 2, etc.