Could more have been done to help Officer Lehner before the dive began?