Tropical Storm Josephine weakens slightly in Atlantic Ocean