Tropical Storm Andres is designated