found: !Bravo Denis!, 2011:t.p. (Denis Martínez)
found: Wikipedia Den[n]is Martínez webpage, Oct.15, 2012:(José Dennis Martínez (b. May 14, 1955 in Granada, Nicaragua), nicknamed "El Presidente" (The President); a former Major League Baseball pitcher. He was the first Nicaraguan baseball player (pitcher or position player) to play in the majors.)
found: Wikipedia, 24 April 2023:https://en.wikipedia.org/wiki/Dennis_MartínezDennis Martínez (full name: José Dennis Martínez Ortiz; born 14 May 1955; played for the Baltimore Orioles (1976-1986); Montreal Expos (1986-1993); Cleveland Indians (1994-1996); Seattle Mariners (1997), and the Atlanta Braves (1998); manager of the Nicaragua national baseball team; inducted into the Baltimore Orioles Hall of Fame in 2002; inducted into the Canadian Baseball Hall of Fame in 2016)