The elegant arched brick architecture of Fort Jefferson, a 19th century fortress on Garden Key in Dry Tortugas National Park, Florida, USA