Carol's measurements would destroy the entanglement in a way that Alice and Bob would be able to detect. However QKD is still vulnerable to a MITM (as opposed to mere interception). You would still need some sort of a mechanism so that Alice knows she's talking to Bob and vice-versa.