Washington man dies in Hawaii shark attack