Discuss as:

Fla.'s pension fund underfunded by $19.2 billion