Port-Royal karl marx song to destroy a city vs port royal