President Trump reportedly chose to do nothing in response.