Are Philip K. Dick and John Richardson of the same nationality?