Fla.'s pension fund underfunded by $19.2 billion