what happened to red 3