method of washing sea sand