The common name for Eleutherodactylus cooki is guajon