change spanish names

Translate to english spanish names in wumpus example.