I have only read scanlations, where they don't translate puns to English, just explain them. I don't know how it was done in official American translation.