Four hours later Tropical Storm Marilyn became Hurricane Marilyn . Tropical Depression Fifteen strengthened rapidly , became Tropical Storm Marilyn six hours later and Hurricane Marilyn four hours after that .