Leatherback turtle lays eggs on Boca Raton beach