Divers Say Weeki Wachee Is 400 Feet Deep