Push to speed up Lake Okeechobee dike repairs