Pedro Antonio Marín alias ‘Tirofijo’