Spain edited Trump out of its celebratory photo.