Diddy’s Ex-Girlfriend, Mother of His Kids, Kim Porter Dead at 47