That Presidential Proclamation has been amended so the Flag stays down at half mast until September 22