US warship sails through Taiwan Strait