Irma recovery: Florida Keys will open to visitors Oct. 1