How Many Red Snapper Are in the Gulf of Mexico?