Title: A short history of water desalination