Kaimu Beach, Hawaii, proposed shore protection, final environmental statement [with bibliography].