US sails warships through Taiwan Strait amid tensions with China