Was McCain married when he started dating Cindy?

Hensley met John McCain in April 1979 at a military reception in Hawaii.[23] He was the U.S. Navy liaison officer to the United States Senate, almost eighteen years her senior.[24] McCain and Hensley quickly began a relationship,[24] traveling between Arizona and Washington to see each other.[15] John McCain pushed to end his marriage of fourteen years;[23] Carol McCain and John McCain stopped cohabiting in January 1980,[25] and Carol accepted a divorce in February of 1980,[23] effective in April 1980. John and Cindy were married on May 17, 1980 at the Arizona Biltmore Hotel in Phoenix.[15]