Email Record: Renaming a lock of the Cross-Florida Barge Canal the "Henry Holland Buckman Lock".