The Herbert Hoover Dike, which is holding back high water in Lake Okeechobee, sprung a leak. This wasn’t the gusher type that normally comes to mind, but rather more seepage than normal, says the U.S. Army Corps of Engineers. Last week’s seepage and one in June were considered minor and have been fixed. But with a tropical storm brewing in the Gulf of Mexico and already heavy inflow to the lake, Okeechobee’s water will keep rising — increasing the chances of more leaks, damage to the lake’s health and greater releases of water to the Caloosahatchee River and St. Lucie...