A U.S. Supreme Court justice chooses to retire and move to Florida. What will happen to the justice's old position?