The trophy is nicknamed Oscar, but what is its official name?