Shrimp exporters bring home US$3.85 billion in 2020