Tropical Storm Josephine was a weak tropical storm that formed on September 17 as Tropical Depression Eleven . Tropical Storm Josephine formed on September 17 from a non-tropical low pressure system .