Who was the first baseball player to have his number (4) retired?