Was the hiring of Doc Rivers a good one for the Bucks?