Pedro MarinPedro Marin may refer to:Manuel Marulanda, nom de guerre of Colombian revolutionary, Pedro Antonio MarínPedro Marin (politician)