What is the womens World Record for the mile?

fastest women mile swim