Official: Richardson to be commerce secretary