In a recent year a baseball team paid seven times as much to their ace pitcher as they paid to their shortstop. If they paid ​$ 24 million for the two​ salaries, what did they pay each​ player?