RedSeaAtlas: A Visual Analytics Tool for Spatio-temporal Multivariate Data of the Red Sea