how long should a flag be flown at half-staff after the president of the united states dies?

I will look up the current official guidelines on half-staff durations for the death of a president and related dignitaries, then summarize the standard practice.