Memorial service for Robert Martin on August 16, 2025.