Write SQL query to solve given problem: Provide the population of Arecibo in 2020.. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT SUM(T2.population_2020) FROM country AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code WHERE T1.county = 'ARECIBO'