Pedro Pinto may refer to: