The following legal holidays are officially observed by Miami-Dade County government.