Carlos Correa
... that Carlos Correa is the first Puerto Rican to be selected with the first overall selection of a Major League Baseball Draft?
... that <b id="mwERU"><a class="mw-redirect" href="./Carlos_Correa_(baseball)" id="mwERY" rel="mw:WikiLink" title="Carlos Correa (baseball)">Carlos Correa</a></b> is the first <a class="mw-redirect" href="./Puerto_Rican_people" id="mwERc" rel="mw:WikiLink" title="Puerto Rican people">Puerto Rican</a> to be selected with the <a href="./List_of_first_overall_Major_League_Baseball_draft_picks" id="mwERg" rel="mw:WikiLink" title="List of first overall Major League Baseball draft picks">first overall selection</a> of a <a class="mw-redirect" href="./Major_League_Baseball_Draft" id="mwERk" rel="mw:WikiLink" title="Major League Baseball Draft">Major League Baseball Draft</a>?