wall street journal why trump refused to lower flag to half staff