Juan de la Coca Pérez, nacido el 18 de mayo de 1973 en San Sebastián (Guipúzcoa), conocido como Juantxo Koka, es un jugador profesional de pelota vasca a mano.