Similar to get_menu_by_id but takes into account menu merging which could have occurred upon loading plugins.
a Application
the id of the menu to locate
A Menu