Is it daylight saving time
in America/Puerto_Rico?

Based on the timezone.