Ricardo Pinto may refer to: