Exact second Born electron capture for p+He