Rio Games end with a storm, some pride and a touch of melancholy