it was formerly known as the lauro villamar beach and initially it was curiously known as the washington beach