El pirata que robó las estrellas

Se hacía llamar John Buck, porque ése era un magnífico nombre para un pirata, y no Arcadio García, como en realidad se llamaba, porque ése podía ser un buen nombre para un torero, para un fontanero o incluso para un bibliotecario. Pero, desde luego, Arcadio García no era nombre de pirata