Kodai Senga makes All-Star Game as replacement after stellar Mets introduction