A few minutes of ocean waves from Isla Verde Beach, Puerto Rico