Parks: Amusement: Jefferson Beach, Equipment made by King Amusement Co.