Pathologic copulatory lock in a genetically engineered laboratory mouse breeding pair