Markets | Tue Dec 11, 2012 6:56pm EST

Puerto Rico appoints head of Government Development Bank