Michael Jackson’s Height: How Tall Was the King of Pop?

How tall was Michael Jackson, according to the official documents?