John Choi may refer to: