--repair option for mongodump