Is it daylight saving time
in America/Costa_Rica?

Based on the timezone.