MongoDB requires that _id be unique, and I have verified that external_id matches _id in every document on prod.  So indirectly, but yes.