Tropical Depression One quickly strengthened into a tropical storm and it was given the name `` Agatha '' . Later that morning , the depression strengthened into a tropical storm and was named Agatha .