Principles of Water Resources: History, Development, Management, and Policy