Cedric King set a personal course record at the New York City Marathon