Display a Custom Menu in a Drupal 7 Theme Template File

For reference, this is the code needed to display a menu in a Drupal 7 template file.

Original Article: