No interactions present.
Both names are correct for this bird because Feral Pigeons are Rock Doves (domestic breeds of pigeon/dove were bred from Rock Doves, and Feral Pigeons are simply domestic pigeons that have gone wild).
It's not necessarily true the other way round though - pure wild Rock Doves cannot be called Feral Pigeons!
Lat/Lng: 51.383126, -0.079441
OS grid ref: TQ337666